This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 QFQ: Efficient Packet Scheduling

Source URL: info.iet.unipi.it

• Network performance
• Computer networking
• Fair queuing
• Scheduling algorithms
• Streaming
• Scheduling
• Network scheduler
• Transmission Control Protocol
• Traffic flow
• Deficit round robin
• Communications protocol
• Robust random early detection

Call for Papers Thirty-first Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODCJuly 16-18, Madeira, Portugal http://www.podc.org/podc2012/

Source URL: podc.org

• Distributed computing
• Computing
• Conferences
• Symposium on Principles of Distributed Computing
• ACM SIGACT
• Academic conference
• Grid computing
• Communications protocol
• Electronic submission
• Computer science
• Knowledge

Primer on Host Identity Protocol (HIP) A Game Changer in IP Communications Dr. Andrei Gurtov, Aalto University, Finland Andrei Gurtov received his M.Scand Ph.Ddegrees in Computer Science from the Univers

Source URL: www.temperednetworks.com

GOSFIELD NORTH COMMUNICATIONS CO-OPERATIVE LIMITED (“GOSFIELD”) INTERNET PROTOCOL TELEVISION (IPTV), INTERNET AND TELEPHONE SERVICE AGREEMENT 1. General

Source URL: www.gosfieldtel.ca

Network Working Group Request for Comments: 2026 BCP: 9 Obsoletes: 1602 Category: Best Current Practice

Source URL: www.rfc-editor.org

• Internet
• Computing
• Technology
• Standards
• Internet protocols
• Request for Comments
• URI schemes
• Internet Standard
• Open standard
• Best current practice
• Telnet
• Communications protocol

PROTOCOL FOR SUBMISSION AND HANDLING OF ABSTRACTS SUBMITTED FOR POSSIBLE PRESENTATION AT A SASA CONFERENCE (All communications shall be conducted online) 1. ABSTRACT PREPARATION: Abstracts shall be prepared following the

Source URL: sasascience.org

• Academic publishing
• Academia
• Conferences
• Knowledge
• Academic conferences
• Public sphere
• Abstract management
• Publishing
• Abstract
• Scholarly peer review

Journal of Computer Security–482 IOS Press 423 A derivation system and compositional logic

Source URL: seclab.stanford.edu

• Cryptography
• Cryptographic protocols
• Public-key cryptography
• Internet protocols
• DiffieHellman key exchange
• NeedhamSchroeder protocol
• Communications protocol
• Key exchange
• Protocol composition logic
• Interlock protocol

A. Datta et al. / Protocol Composition Logic 1 Protocol Composition Logic Anupam DATTA a , John C. MITCHELL b , Arnab ROY b and

Source URL: seclab.stanford.edu

• Cryptography
• Protocol composition logic
• Authentication protocols
• BurrowsAbadiNeedham logic
• Communications protocol
• Kerberos
• Public-key cryptography
• Cryptographic protocol

Mechanized Network Origin and Path Authenticity Proofs Fuyuan Zhang Limin Jia CyLab, CMU

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Routing
• Network architecture
• Digital signature
• Records management technology
• Signature
• IP routing
• PKD
• Internet protocol suite
• Communications protocol

Selectively Traceable Anonymity Luis von Ahn1 , Andrew Bortz2 , Nicholas J. Hopper3 , and Kevin O’Neill4 1 Carnegie Mellon University, Pittsburgh, PA USA 2

Source URL: www-users.cs.umn.edu

• Cryptography
• Public-key cryptography
• Electronic documents
• Dining cryptographers problem
• Communications protocol
• Crowds
• Email
• Group signature
• Anonymity
• Anonymous remailer
• Digital signature